• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۴۰ پاسخ غیر تکراری از ۴۰ پاسخ تکراری در مدت زمان ۰,۴۷ ثانیه یافت شد.

21. Foundations of software science and computation structures :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Christel Baier, Ugo Dal Lago (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.

Classification :
QA76
.
751
.
F67
2018eb

22. Fundamental approaches to software engineering :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Alessandra Russo, Andy Schürr (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.

Classification :
QA76
.
758
.
F37
2018eb

23. Human-computer interaction :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Masaaki Kurosu.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Human-computer interaction, Congresses.,Human-computer interaction.

Classification :
QA76
.
9
.
H85

24. Intelligence computation and evolutionary computation :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Zhenyu Du (ed.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational intelligence -- Congresses.,Evolutionary computation -- Congresses.,Intelligence informatique -- Congrès.

Classification :

25. Languages, design methods, and tools for electronic system design :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Daniel Große, Sara Vinco, Hiren Patel, editors.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer-aided design, Congresses.,Electronic circuit design-- Data processing, Congresses.,Computer-aided design.,Electronic circuit design-- Data processing.,TECHNOLOGY & ENGINEERING-- Mechanical.

Classification :
TK7867

26. Leveraging applications of formal methods, verification and validation :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Tiziana Margaria, Bernhard Steffen (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Machine learning, Congresses.,Robots-- Programming, Congresses.,Computer networking & communications.,Computer science.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Machine learning.,Program concepts-- learning to program.,Programming & scripting languages: general.,Robots-- Programming.,Software Engineering.

Classification :
QA76
.
9
.
F67

27. Model-driven engineering languages and systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ana Moreira [and 4 others] (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Development, Congresses,Model-driven software architecture, Congresses,Model-integrated computing, Congresses

Classification :
QA76
.
76
.
D47
M63
2013

28. NASA Formal Methods :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Julia M. Badger, Kristin Yvonne Rozier (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Formal methods (Computer science), Congresses.,Formal methods (Computer science)

Classification :
QA76
.
9
.
F67
N45
2019

29. Program analysis and compilation, theory and practice :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.

Classification :
QA76
.
76
.
V47
P745
2007

30. System analysis and modeling :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ferhat Khendek, Reinhard Gotzhein (Eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.

Classification :
QA402
.
S26
2018

31. System level design from HW/SW to memory for embedded systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Marcelo Götz, Gunar Schirner, Marco Aurélio Wehrmeister, Mohammad Abdullah Al Faruque, Achim Rettberg (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Embedded computer systems, Congresses.,Computer hardware.,Computers-- Expert Systems.,Computers-- Hardware-- General.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Embedded computer systems.,Expert systems-- knowledge-based systems.,Software Engineering.,Systems analysis & design.

Classification :
TK7895
.
E42

32. System specification & design languages :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Eugenio Villar, Jean Mermet.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer hardware description languages -- Congresses.,Computer hardware description languages.,Integrated circuits -- Very large scale integration -- Design and construction -- Congresses.

Classification :
TK7885
.
7
E358
2003

33. Tools and Algorithms for the Construction and Analysis of Systems

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Christel Baier, Cesare Tinelli (eds.)

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: System design -- Congresses.,Computer software -- Verification -- Congresses.,System analysis -- Congresses.,طراحی سیستم -- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها

Classification :
QA76
.
9
.
T33
2010
E-Book
,

34. Tools and algorithms for the construction and analysis of systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Javier Esparza, Rupak Majumdar (editions.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.

Classification :
QA76
.
9
.
S88
T33
2010

35. Tools and algorithms for the construction and analysis of systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Dirk Beyer, Marieke Huisman (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.

Classification :
QA76
.
9
.
S88

36. Tools and algorithms for the construction and analysis of systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Tiziana Margaria, Bernhard Steffen, (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.

Classification :

37. Tools and algorithms for the construction and analysis of systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Tomáš Vojnar, Lijun Zhang (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.

Classification :
QA76
.
9
.
S88

38. Tools and algorithms for the construction and analysis of systems

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Nir Piterman, Scott A. Smolka (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses

Classification :
QA76
.
9
.
S88
T33
2013

39. Validation and verification of knowledge based systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: edited by Anca Vermesan and Frans Coenen.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.

Classification :
QA76
.
76
.
V47
E358
2011

40. Wireless and satellite systems :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Min Jia, Qing Guo, Weixiao Meng (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Wireless communication systems, Congresses.,Wireless communication systems.

Classification :
TK5103
.
2
  • »
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival